|
Eclipse Platform Pre-release 3.0 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Extension interface to IWidgetTokenOwner
. Replaces the original
requestWidgetToken
functionality with a new priority based approach.
Method Summary | |
boolean |
requestWidgetToken(IWidgetTokenKeeper requester,
int priority)
Requests the widget token from this token owner. |
Method Detail |
public boolean requestWidgetToken(IWidgetTokenKeeper requester, int priority)
true
if the token has been aquired or is
already owned by the requester. This method is non-blocking.
priority
is forwarded to any existing token keeper
to give it an estimate on whether the request has higher priority than
the current keeper's. There is, however, no guarantee that another keeper
will release the token even if it has a high priority.
requester
- the token requesterpriority
- the priority of the request
true
if requester aquires the token,
false
otherwise
|
Eclipse Platform Pre-release 3.0 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |